# Caixas_e_diamantes

Tradução do livro: Boxes and diamonds: an open introduction to modal logic

https://bd.openlogicproject.org/